منابع مشابه
The Bene ts of Relaxing Punctuality 1
The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satissability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time diierence between events only with nite, yet arbitrary, precision and show the resulting logic to be EXP...
متن کاملPAYGO for Punctuality
The federal budgeting process is wrought with conflict that makes it nearly impossible for the budget to be passed on time, or so it seems. One aspect overlooked is the effects of statutory Pay-As-You-Go (PAYGO) rules. The cursory evidence indicates PAYGO may be beneficial under certain circumstances. The analysis relies on an Autoregressive-Moving-Average (ARMA) time series model with data fro...
متن کاملPunctuality and Railway Maintenance
The iron ore railway in northern Scandinavia is a single track line that stretches from the Gulf of Bothnia to the Norwegian Sea. Mixed traffic on a single-track railway makes the traffic sensitive and prone to disturbances. To improve punctuality and efficiency in the traffic flow, the link between disturbances and their impacts on train delays needs to be analysed and understood more precisel...
متن کامل"Punctuality" and Verb Semantics
Whether verbs have to be marked as punctual vs. durative has been a controversial issue from the very beginnings of research on aktionsarten in the last century right on up to modern theories of aspectual classes and aspect composition. Debates about the linguistic necessity of this distinction have often been accompanied by the question of what it means for a verb to be temporally punctual. In...
متن کاملThe Bene ts of Relaxing Punctuality
The most natural, compositional, way of modeling real-time systems uses a dense domain for time. The satis ability of timing constraints that are capable of expressing punctuality in this model, however, is known to be undecidable. We introduce a temporal language that can constrain the time di erence between events only with nite, yet arbitrary, precision and show the resulting logic to be EXP...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Bulletin of the Royal College of Surgeons of England
سال: 2014
ISSN: 1473-6357,1478-7075
DOI: 10.1308/rcsbull.2014.96.2.54